.PATH: ${SRCTOP}/sys/dev/ipmi

KMOD=	ipmi_linux
SRCS=	ipmi_linux.c

.include <bsd.kmod.mk>
